$\vdash$  $\forall$$p$:$\mathbb{B}$. ($\neg_{b}\neg_{b}$$p$) = $p$